- 三階謂詞邏輯
- third: n. 1.〔the third〕第三。 2.第三者〔指人 ...
- order: n. 1.次序,順序;整齊;(社會)秩序,治安;狀況,常 ...
- predicate: n. 1.【語法】謂語,述語。 2.【邏輯學(xué)】謂項(xiàng),述項(xiàng) ...
- logic: n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理 ...
- predicate calculus of the third order: 三階謂詞演算
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯